module

public import Mathlib.CategoryTheory.Monoidal.Closed.Basic

deprecated_module (since := "2025-11-28")
